Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL
نویسندگان
چکیده
منابع مشابه
Undecidability Results for Multi-Lane Spatial Logic
We consider (un)decidability of Multi-Lane Spatial Logic (MLSL), a multi-dimensional modal logic introduced for reasoning about traffic manoeuvres. MLSL with length measurement has been shown to be undecidable. However, the proof relies on exact values. This raises the question whether the logic remains undecidable when we consider robust satisfiability, i.e. when values are known only approxim...
متن کاملSynthesizing Controllers for Multi-lane Traffic Maneuvers
The dynamic behavior of a car can be modeled as a hybrid system involving continuous state changes and discrete state transitions. However, we show that the control of safe (collision free) lane change maneuvers in multi-lane traffic on highways can be described by finite state machines extended with continuous variables coming from the environment. We use standard theory for controller synthes...
متن کاملProof Theory of a Multi-Lane Spatial Logic
We extend the Multi-lane Spatial Logic MLSL, introduced in previous work for proving the safety (collision freedom) of traffic maneuvers on a multi-lane highway, by length measurement and dynamic modalities. We investigate the proof theory of this extension, called EMLSL. To this end, we prove the undecidability of EMLSL but nevertheless present a sound proof system which allows for reasoning a...
متن کاملEstimating Driver Mandatory Lane Change Behavior on a Multi-lane Freeway
The driver gap acceptance and rejection behavior during mandatory lane changes on a multilane freeway are analyzed in this paper. Gaps are accepted or rejected based on comparison with a minimum value generally defined as the critical gaps. Critical gaps are estimated based on the accepted and rejected gaps observed in the field. Driver behavior can be classified as consistent or inconsistent o...
متن کاملMulti-Lane Visual Perception for Lane Departure Warning Systems
This paper presents a Road Detection and Tracking algorithm for Lane Departure Warning Systems. An inverse perspective transformation gives a bird-eye view of the road, where longitudinal road markings are detected by exploration of horizontal gradient, looking for a road marking model. Next, a parabolic lane model is fitted to road markings and tracked through a particle filter. The right and ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2018
ISSN: 2075-2180
DOI: 10.4204/eptcs.269.3